Riis Nielson, Hanne: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal Methods (An Appetizer) ||

Nielson, Flemming, Riis Nielson, Hanne

Year:

2019

Language:

english

File:

PDF, 2.21 MB

english, 2019

2

A hoare-like proof system for analysing the computation time of programs

Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

1987

Language:

english

File:

PDF, 1.66 MB

english, 1987

3

Using transformations in the implementation of higher-order functions

Nielson, Hanne Riis, Nielson, Flemming

Journal:

Journal of Functional Programming

Year:

1991

Language:

english

File:

PDF, 1.79 MB

english, 1991

4

Kleene's Logic with Equality

Flemming Nielson, Hanne Riis Nielson, Mooly Sagiv

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 90 KB

english, 2001

5

Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Yüksel, Ender, Nielson, Hanne Riis, Nielson, Flemming, Zhu, Huibiao, Huang, Heqing

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.61 MB

english, 2014

6

Behavior analysis for validating communication patterns

Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 573 KB

english, 1998

7

From Flow Logic to static type systems for coordination languages

Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

8

The logic of XACML

Ramli, Carroline Dewi Puspa Kencana, Nielson, Hanne Riis, Nielson, Flemming

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 691 KB

english, 2014

9

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Wang, Shuling, Nielson, Flemming, Nielson, Hanne Riis, Zhan, Naijun

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 801 KB

english, 2016

10

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) ||

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 22.63 MB

english, 2019

11

[Lecture Notes in Computer Science] Static Analysis Volume 4634 || A New Algorithm for Identifying Loops in Decompilation

Nielson, Hanne Riis, Filé, Gilberto

Year:

2007

Language:

english

File:

PDF, 382 KB

english, 2007

12

[IEEE 2012 IEEE Symposium on Computers and Communications (ISCC) - Cappadocia, Turkey (2012.07.1-2012.07.4)] 2012 IEEE Symposium on Computers and Communications (ISCC) - Key Update Assistant for resource-constrained networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

13

A calculus of quality for robustness against unreliable communication

Nielson, Hanne Riis, Nielson, Flemming, Vigo, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 717 KB

english, 2015

14

Flow Logic for Process Calculi

Nielson, Hanne Riis, Nielson, Flemming, Pilegaard, Henrik

Journal:

ACM Computing Surveys

Year:

2012

Language:

english

File:

PDF, 349 KB

english, 2012

15

[ACM Press the 1990 ACM conference - Nice, France (1990.06.27-1990.06.29)] Proceedings of the 1990 ACM conference on LISP and functional programming - LFP '90 - Context information for lazy code generation

Nielson, Hanne Riis, Nielson, Flemming

Year:

1990

Language:

english

File:

PDF, 1006 KB

english, 1990

16

Content dependent information flow control

Nielson, Hanne Riis, Nielson, Flemming

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

17

Cryptographic Pattern Matching

Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 354 KB

english, 2007

18

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Yuksel, Ender, Zhu, Huibiao, Nielson, Hanne Riis, Huang, Heqing, Nielson, Flemming

Year:

2012

Language:

english

File:

PDF, 574 KB

english, 2012

19

[Lecture Notes in Computer Science] Secure IT Systems Volume 8208 || Security Games for Cyber-Physical Systems

Riis Nielson, Hanne, Gollmann, Dieter

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

20

Strategic directions in research on programming languages

Hankin, Chris, Nielson, Hanne Riis, Palsberg, Jens

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 207 KB

english, 1996

21

[ACM Press the 18th International Symposium - Edinburgh, United Kingdom (2016.09.05-2016.09.07)] Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16 - Iterated process analysis over lattice-valued regular expressions

Midtgaard, Jan, Nielson, Flemming, Nielson, Hanne Riis

Year:

2016

Language:

english

File:

PDF, 691 KB

english, 2016

22

From CML to its process algebra

Flemming Nielson, Hanne Riis Nielson

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.71 MB

english, 1996

23

[IEEE 2009 24th International Symposium on Computer and Information Sciences (ISCIS) - Guzelyurt, Cyprus (2009.09.14-2009.09.16)] 2009 24th International Symposium on Computer and Information Sciences - A secure key establishment protocol for zigbee wireless sensor networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming

Year:

2009

Language:

english

File:

PDF, 530 KB

english, 2009

24

Effect-driven QuickChecking of compilers

Midtgaard, Jan, Justesen, Mathias Nygaard, Kasting, Patrick, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 292 KB

english, 2017

25

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

File:

PDF, 684 KB

2019

26

A monotone framework for CCS

Hanne Riis Nielson, Flemming Nielson

Journal:

Computer Languages, Systems & Structures

Year:

2009

Language:

english

File:

PDF, 956 KB

english, 2009

27

Cryptographic Analysis in Cubic Time

Flemming Nielson, Hanne Riis Nielson, Helmut Seidl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 219 KB

english, 2002

28

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Finiteness conditions for fixed point iteration

Nielson, Flemming, Nielson, Hanne Riis

Year:

1992

Language:

english

File:

PDF, 778 KB

english, 1992

29

[ACM Press the 2016 ACM Workshop - Vienna, Austria (2016.10.24-2016.10.24)] Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 - Future-dependent Flow Policies with Prophetic Variables

Li, Ximeng, Nielson, Flemming, Riis Nielson, Hanne

Year:

2016

Language:

english

File:

PDF, 594 KB

english, 2016

30

Flow Logic and Operational Semantics

Flemming Nielson, Hanne Riis Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.09 MB

english, 1998

31

A calculus for control flow analysis of security protocols

Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 740 KB

english, 2004

32

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Static Validation of Licence Conformance Policies

Hansen, Rene Rydhof, Nielson, Flemming, Nielson, Hanne Riis, Probst, Christian W.

Year:

2008

Language:

english

File:

PDF, 424 KB

english, 2008

33

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Using static analysis to validate the SAML single sign-on protocol

Hansen, Steffen M., Skriver, Jakob, Nielson, Hanne Riis

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

34

Computing Surveys symposium on models of programming languages and computation

Hankin, Chris, Nielson, Hanne Riis

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 148 KB

english, 1996

35

Control Flow Analysis for BioAmbients

Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

36

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Higher-order concurrent programs with finite communication topology (extended abstract)

Nielson, Hanne Riis, Nielson, Flemming

Year:

1994

Language:

english

File:

PDF, 1.04 MB

english, 1994

37

The tensor product in Wadler's analysis of lists

Flemming Nielson, Hanne Riis Nielson

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 1.53 MB

english, 1994

38

[Lecture Notes in Computer Science] Transactions on Computational Systems Biology VII Volume 4230 ||

Priami, Corrado, Ingólfsdóttir, Anna, Mishra, Bud, Riis Nielson, Hanne

Year:

2006

Language:

english

File:

PDF, 2.42 MB

english, 2006

39

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Systematic realisation of control flow analyses for CML

Gasser, Kirsten L. Solberg, Nielson, Flemming, Nielson, Hanne Riis

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

40

Enforcing globally dependent flow policies in message-passing systems

Li, Ximeng, Nielson, Flemming, Nielson, Hanne Riis

Journal:

Journal of Computer Languages

Year:

2019

File:

PDF, 10.52 MB

2019

41

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Model Checking Multivariate State Rewards

Nielsen, Bo Friis, Nielson, Flemming, Nielson, Hanne Riis

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

42

Prescriptive frameworks for multi-level lambda-calculi

Nielson, Flemming, Nielson, Hanne Riis

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 840 KB

english, 1997

43

Static analysis of topology-dependent broadcast networks

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

44

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Automated Generation of Attack Trees

Vigo, Roberto, Nielson, Flemming, Nielson, Hanne Riis

Year:

2014

Language:

english

File:

PDF, 336 KB

english, 2014

45

Validating firewalls using flow logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 282 KB

english, 2002

46

Functional completeness of the mixed λ-calculus and combinatory logic

Hanne Riis Nielson, Flemming Nielson

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.58 MB

english, 1990

47

Pathway analysis for BioAmbients

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 1.89 MB

english, 2008

48

[IEEE 2011 IEEE Sensors Applications Symposium (SAS) - San Antonio, TX, USA (2011.02.22-2011.02.24)] 2011 IEEE Sensors Applications Symposium - Optimizing key updates in sensor networks

Yuksel, Ender, Nielson, Hanne Riis, Nielson, Flemming, Fruth, Matthias, Kwiatkowska, Marta

Year:

2011

Language:

english

File:

PDF, 1.04 MB

english, 2011

49

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Towards Races in Linear Logic

Riis Nielson, Hanne, Tuosto, Emilio

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

50

Static Analysis for the π-Calculus with Applications to Security

Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 156 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски